Logical Specification of Real-Time Granular Systems in an Object Oriented Language
نویسندگان
چکیده
This paper presents the semantics of TRIO*, an object oriented language devoted to specify realtime systems referring to different time granularities. Time granularity allows to describe the behavior and the properties of a system and its environment with respect to different time scales. TRIO* semantics is expressed by translation into a logical framework supporting the notion of time granularity. Such a semantics provides the executability of object oriented specifications.
منابع مشابه
ساختار دهی آنی داده‌‌های مکانی ورودی GIS با تأکید بر عارضه راه
An important issue in implementation of a GIS system is preparation of data to be entered in GIS. To produce spatial data for GIS using photogrammetric techniques, conventional method is to apply photogrammetric and GIS systems individually (off-line procedure). This approach is costly, time consuming and somehow unreliable due to the fact that 3D photogrammetric model is not available at the ...
متن کاملAssociated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach
Several requirements for high quality specifications of real-time systems are stated. An approach based on the integration of logic and object-oriented formalisms is advocated and the essential features of a language–named TRIO+– that exploits such an approach are described. It is also argued that the benefits of the use of rigorous approaches to the system specification phase can be highly enh...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملUnified Modeling Language for Real-Time Systems Development
Specifying and designing real-time systems is a complex matter because real-time systems require logical correctness as well as timing correctness. Over the years several techniques for specifying and designing real-time systems have been developed, such as Finite State Machines, Petri Nets and Timed CSP. One of the latest notations for object-oriented specification and design is the Unified Mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993